Anne Sjerp Troelstra (* 10. August 1939 in Maartensdijk bei Utrecht) ist ein niederländischer mathematischer Logiker. Troelstra ging in Eindhoven auf das Gymnasium und studierte ab 1957 Mathematik an der Universität Amsterdam, wo er nach dem Abschluss (Doctoraalexamen) 1964 Assistenzprofessor war und 1966 bei Arend Heyting über intuitionistisch...